Computability theory - PDFSEARCH.IO - Document Search Engine

Computability theory
Results: 1231

#	Item
91	I N F S Y S R E S E A R C H R Add to Reading List Source URL: www.kr.tuwien.ac.at Language: English - Date: 2007-03-24 19:54:28 Logic programming Situation calculus Sheaf Computability theory
92	Towards Automatic Generation of Vulnerability-Based Signatures David Brumley, James Newsome, and Dawn Song Carnegie Mellon University Pittsburgh, PA, USA {dbrumley,jnewsome,dawnsong}@cmu.edu Add to Reading List Source URL: users.ece.cmu.edu Language: English - Date: 2014-05-29 15:38:01 Computability theory Vulnerability Public-key cryptography Theoretical computer science Models of computation Buffer overflow Social vulnerability Zero-day Ring signature Symbolic execution Turing machine Halting problem
93	Journal of Statistical Physics, Vol. 104, Nos. 3/4, 2001 Computational Mechanics: Pattern and Prediction, Structure and Simplicity Cosma Rohilla Shalizi 1 , 2 and James P. Crutchfield 1 Received June 20, 2000; revised F Add to Reading List Source URL: bactra.org Language: English - Date: 2003-10-31 16:37:58 Complex systems theory Theoretical computer science Computability theory Statistical randomness Randomness Kolmogorov complexity Complexity Emergence Computational complexity theory Algorithm Reduction Turing machine
94	Summer 2009 :: COM SCI 181, Sec.1 :: Introduction to Formal Languages and Automata Theory :: Syllabus/Info Class Information Location, day, time: from the Registrar Add to Reading List Source URL: atakangunal.com Language: English* - Date: 2014-10-22 13:26:26 Formal languages Theoretical computer science Theory of computation Computability theory Models of computation Computability Automata theory Introduction to the Theory of Computation Turing machine Super-recursive algorithm Algorithm Finite-state machine
95	Appendix to Chen et al., ICFPAppendix to Chen et al., Implicit self-adjusting computation for purely functional programs (ICFPIn Section A, we show that translation maps source types to corresponding target Add to Reading List Source URL: www.mpi-sws.org Language: English - Date: 2011-09-08 07:51:15 Automated theorem proving Logic programming Logical truth Propositional calculus Substitution Computability theory Table of stars with Bayer designations Symbol
96	Inference and enforcement of data structure consistency specifications Brian Demsky1 , Michael D. Ernst2 , Philip J. Guo2 , Stephen McCamant2 , Jeff H. Perkins2 , Martin Rinard2 University of California at Irvine, Irvine Add to Reading List Source URL: pgbovine.net Language: English - Date: 2014-01-03 23:24:44 Internet Standards Internet protocols Computability theory Daikon Software testing Domain Name System Security Extensions Domain Name System Freeciv Programming language Object Process Methodology Specification language Internet protocol suite
97	Lecture 14 Recursion Andries van D am © 2015 Add to Reading List Source URL: cs.brown.edu Language: English - Date: 2015-10-27 00:27:14 Recursion Theoretical computer science Mathematical logic Computability theory Subroutines Factorial This Recursive definition While loop
98	Diatomic Molecules with Large Angular Momentum in the Born–Oppenheimer Approximation Sharon M. Hughes†∗ and George A. Hagedorn† Department of Mathematics and Add to Reading List Source URL: www.math.vt.edu Language: English - Date: 2008-09-03 19:26:34 Quantum chemistry Molecular physics Computability theory operator ALGOL 68 Operator R0 Molecular Hamiltonian BornOppenheimer approximation
99	Broad-coverage CCG Semantic Parsing with AMR Kenton Lee Luke Zettlemoyer Yoav Artzi∗ Dept. of Computer Science and Cornell Tech Computer Science & Engineering University of Washington Cornell University Add to Reading List Source URL: yoavartzi.com Language: English - Date: 2016-08-12 04:07:46 Predicate logic Type theory Logic in computer science Computability theory Lambda calculus Combinatory categorial grammar Quantifier Combinatory logic Parsing Free variables and bound variables Weight
100	1 Distributional Learning and Context/Substructure Enumerability in Nonlinear Tree Grammars Add to Reading List Source URL: research.nii.ac.jp Language: English - Date: 2016-03-21 01:41:35 Computability theory Recursively enumerable set Theory of computation Formal languages Spectral theory

UPDATE